Kolchin, A.; Potienko, S.; Weigert, T.
(Проблеми програмування, 2020)
The purpose of the method is to increase the sensitivity of an automatically generated test suite to mutations of a model. Unlike existing methods for generating test scenarios that use the mutational approach to assess ...